100 research outputs found

    On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width

    Full text link
    The relational width of a finite structure, if bounded, is always (1,1) or (2,3). In this paper we study the relational width of first-order expansions of finitely bounded homogeneous binary cores where binary cores are structures with equality and some anti-reflexive binary relations such that for any two different elements a, b in the domain there is exactly one binary relation R with (a, b) in R. Our main result is that first-order expansions of liberal finitely bounded homogeneous binary cores with bounded strict width have relational width (2, MaxBound) where MaxBound is the size of the largest forbidden substructure, but is not less than 3, and liberal stands for structures that do not forbid certain finite structures of small size. This result is built on a new approach and concerns a broad class of structures including reducts of homogeneous digraphs for which the CSP complexity classification has not yet been obtained.Comment: A long version of an extended abstract that appeared in LICS 202

    Smooth Approximations and Relational Width Collapses

    Get PDF
    We prove that relational structures admitting specific polymorphisms (namely, canonical pseudo-WNU operations of all arities n3n \geq 3) have low relational width. This implies a collapse of the bounded width hierarchy for numerous classes of infinite-domain CSPs studied in the literature. Moreover, we obtain a characterization of bounded width for first-order reducts of unary structures and a characterization of MMSNP sentences that are equivalent to a Datalog program, answering a question posed by Bienvenu, ten Cate, Lutz, and Wolter. In particular, the bounded width hierarchy collapses in those cases as well

    Palynology and microfacies of Lower Devonian mixed carbonate-siliciclastic deposits in Podolia, Ukraine

    Get PDF
    Investigation of mixed carbonate-siliciclastic Lower Devonian deposits have been carried out in the Ivanye Zolote and Ustechko sections in Podolia, Ukraine. Based on palynomorph evidence, the age of the samples studied is late Lochkovian, not older than the NM Oppel Miospore Zone, specifically the Si Lineage Zone. The presence of acritarchs and chitinozoans points to dominantly marine depositional conditions. However, a regressive environmental change to-ward more brackish conditions is indicated by a decrease in the taxonomic diversity of acritarchs in the topmost samples, the simultaneous disappearance of chitinozoans, and an increase in leiosphaerid frequency. Furthermore, evolution of limestone microfacies demonstrates a progressive transition from a shrinking marine basin toward a brackish, storm-af-fected muddy lagoon, manifested by recurrent profusion of impoverished, mostly opportunistic and euryhaline shelly benthos (nuculanid bivalves, leperditicopids and other ostracods, terebratulid brachiopods), chaetetid demosponges and diverse ichthyofauna. The association of plant (mainly nematophytes and some tracheids) and animal (eurypterid, ?scor-pion, and possibly other arthropod) remains points to the presence of nearby Early Devonian wetland vegetation, provid-ing food and shelter for various semi-aquatic and other terrestrial arthropods. Copyright © 2012

    Valuation of EQ-5D Health States in Poland: First TTO-Based Social Value Set in Central and Eastern Europe

    Get PDF
    ABSTRACTObjectiveCurrently, there is no EQ-5D value set for Poland. The primary objective of this study was to elicit EQ-5D Polish values using the time trade-off (TTO) method.MethodsFace-to-face interviews with visitors of inpatients in eight medical centers in Warsaw, Skierniewice, and Puławy were carried out by trained interviewers. Quota sampling was used to achieve a representative sample of the Polish population with regard to age and sex. Modified protocol from the Measurement and Value of Health study was used. Each respondent ranked 10 health states and valued 4 health states using the visual analog scale and 23 using the TTO. Mean and variance stability tests were performed to determine whether using a larger number of health states per respondent would yield credible results. Modeling included random effects and random parameters models.ResultsBetween February and May 2008, 321 interviews were performed. Modeling based on 6777 valuations resulted in an additive model with all coefficients statistically significant, R2 equal to 0.45, and value −0.523 for the worst possible health state. Means and variance did not differ significantly for states valued in the middle and at the end of the TTO exercise.ConclusionsThis is the first EQ-5D value set based on TTO in Central and Eastern Europe so far. Because the values differ considerably from those elicited in Western European countries, its use should be recommended for studies in Poland. Increasing the number of health states that each respondent is asked to value using TTO seems feasible and justifiable

    Concentrations of 137Cs^{137}Cs, 40K^{40}K radionuclides and some heavy metals in soil samples of Chochołowska Valley from Tatra National Park

    Get PDF
    This paper presents the results of determination of artificial 137Cs^{137}Cs and natural 40K^{40}K activity concentrations and some heavy metals in soil samples from the region of one of the main valleys of Tatra National Park (Chochołowska). Our investigation concentrated on 137Cs^{137}Cs and heavy metal levels in mountain soil taken from Chochołowska Valley, which revealed great variability in their concentration. The results show considerably small amounts of radionuclides 137Cs^{137}Cs and 40K^{40}K in the soils. Larger amounts of those elements can be found in the organic surface horizons of the soils. The evaluation of the content of those elements must be based on the bulk density analysis of the soil

    OGLE-ing the Magellanic System: RR Lyrae Stars in the Bridge

    Get PDF
    We use the extended and updated Optical Gravitational Lensing Experiment (OGLE) Collection of Variable Stars to thoroughly analyze the distribution of RR Lyrae stars in the Magellanic Bridge. We use photometric metallicities to derive the absolute Wesenheit magnitude and individual distance of each RR Lyrae star. We confirm results from our earlier study showing that RR Lyrae stars are present in between the Magellanic Clouds, though their three-dimensional distribution more resembles two extended overlapping structures than a strict bridge-like connection. The contours do connect in the southern parts of the Bridge, albeit on a level too low to state that an evident connection exists. To test the sample numerically, we use multi-Gaussian fitting and conclude that there is no additional population or overdensity located in the Bridge. We also try to reproduce results on the putative RR Lyrae Magellanic Bridge stream by selecting RR Lyrae candidates from Gaia Data Release 1. We show that we are not able to obtain the evident connection of the Clouds without many spurious sources in the sample, as the cuts are not able to remove artifacts without eliminating the evident connection at the same time. Moreover, for the first time, we present the Gaia Data Release 2 RR Lyrae stars in the Magellanic Bridge area and show that their distribution matches our results

    OGLE-ing the Magellanic System: RR Lyrae Stars in the Bridge

    Get PDF
    We use the extended and updated Optical Gravitational Lensing Experiment (OGLE) Collection of Variable Stars to thoroughly analyze the distribution of RR Lyrae stars in the Magellanic Bridge. We use photometric metallicities to derive the absolute Wesenheit magnitude and individual distance of each RR Lyrae star. We confirm results from our earlier study showing that RR Lyrae stars are present in between the Magellanic Clouds, though their three-dimensional distribution more resembles two extended overlapping structures than a strict bridge-like connection. The contours do connect in the southern parts of the Bridge, albeit on a level too low to state that an evident connection exists. To test the sample numerically, we use multi-Gaussian fitting and conclude that there is no additional population or overdensity located in the Bridge. We also try to reproduce results on the putative RR Lyrae Magellanic Bridge stream by selecting RR Lyrae candidates from Gaia Data Release 1. We show that we are not able to obtain the evident connection of the Clouds without many spurious sources in the sample, as the cuts are not able to remove artifacts without eliminating the evident connection at the same time. Moreover, for the first time, we present the Gaia Data Release 2 RR Lyrae stars in the Magellanic Bridge area and show that their distribution matches our results

    The OGLE Collection of Variable Stars. One Thousand Heartbeat Stars in the Galactic Bulge and Magellanic Clouds

    Get PDF
    We present a collection of 991 heartbeat star (HBS) candidates found in the Optical Gravitational Lensing Experiment (OGLE) project data archive. We discuss the selection process of the HBS candidates and the structure of the catalog itself. It consists of 512 stars located toward the Galactic bulge (GB), 439 stars located in the Large Magellanic Cloud (LMC), and 40 in the Small Magellanic Cloud (SMC). The collection contains two large groups of HBSs with different physical properties. The main distinction between the two groups is the evolutionary status of the primary star. The first group of about 100 systems contains a hot main-sequence (MS) or a Hertzsprung-gap primary star, while the second group of about 900 systems includes a red giant (RG). For each star, we provide two-decade-long time-series photometry, in the Cousins II- and Johnson VV-band filters, obtained by the OGLE project. We also present basic observational information as well as orbital parameters derived from the light curve modeling.Comment: 15 pages, 10 figures, 5 tables, submitted to AAS Journals. The full machine-readable tables and links to the catalog will be available after the acceptance of the pape
    corecore